首页> 外文OA文献 >Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness

【2h】

Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness

机译：数值抽象的弱关系形状：改进的算法和正确性证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
R. Bagnara; P. M. Hill; Leeds Ls Jt; E. Zaffanella;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness [J] . Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Formal Methods in System Design . 2009,第3期

机译：数值抽象的弱关系形状：改进的算法和正确性证明
2. Improved bound for stochastic formal correctness of numerical algorithms [J] . Marc Daumas, David Lester, Erik Martin-Dorel, Innovations in Systems and Software Engineering . 2010,第3期

机译：数值算法的随机形式正确性的改进界
3. A Proof of the Correctness of an Algorithm Improving the Estimate of the Rate of Convergence of the Seidel Method [J] . A. N. Borzykh Vestnik, St. Petersburg University. Mathematics . 2019,第3期

机译：一种算法的正确性证明，提高了SEIDEL方法的收敛速率的估计
4. Using Theorem Proving for Numerical Analysis Correctness Proof of an Automatic Differentiation Algorithm [C] . Micaela Mayero Theorem Proving in Higher Order Logics . 2002

机译：用定理证明自动微分算法的数值分析正确性证明
5. Studies of numerical algorithms for gyrokinetics and the effects of shaping on plasma turbulence. [D] . Belli, Emily Ann. 2006

机译：动力学动力学数值算法研究以及成形对等离子体湍流的影响。
6. Abstractions algorithms and data structures for structural bioinformatics in PyCogent [O] . Marcin Cieślik, Zygmunt S. Derewenda, Cameron Mura -1

机译：PyCogent中结构生物信息学的抽象算法和数据结构
7. Widening operators for weakly-relational numeric abstractions [O] . Roberto Bagnara, Patricia M. Hill, Elena Mazzi, 2005

机译：扩展弱关系数值抽象的运算符

Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness

著录项

引文网络

相似文献

相关主题

期刊订阅